Idempotent Subreducts of Semimodules over Commutative Semirings
نویسندگان
چکیده
A short proof of the characterization of idempotent subreducts of semimodules over commutative semirings is presented. It says that an idempotent algebra embeds into a semimodule over a commutative semiring, if and only if it belongs to the variety of Szendrei modes.
منابع مشابه
Embedding Modes into Semimodules, Part I
By recent results of M. Stronkowski, it is known that not all modes embed as subreducts into semimodules over commutative unital semirings. Related to this problem is the problem of constructing a (commutative unital) semiring defining the variety of semimodules whose idempotent subreducts lie in a given variety of modes. We provide a general construction of such semirings, along with basic exa...
متن کاملVarieties of Differential Modes Embeddable into Semimodules
Differential modes provide examples of modes that do not embed as subreducts into semimodules over commutative semirings. The current paper studies differential modes, so-called Szendrei differential modes, which actually do embed into semimodules. These algebras form a variety. The main result states that the lattice of non-trivial subvarieties is dually isomorphic to the (non-modular) lattice...
متن کاملEmbedding Entropic Algebras into Semimodules and Modules
An algebra is entropic if its basic operations are homomorphisms. The paper is focused on representations of such algebras. We prove the following theorem: An entropic algebra without constant basic operations which satisfies so called Szendrei identities and such that all its basic operations of arity at least two are surjective is a subreduct of a semimodule over a commutative semiring. Our t...
متن کاملDifferential Modes
Modes are idempotent and entropic algebras. Although it had been established many years ago that groupoid modes embed as subreducts of semimodules over commutative semirings, the general embeddability question remained open until M. Stronkowski and D. Stanovský’s recent constructions of isolated examples of modes without such an embedding. The current paper now presents a broad class of modes t...
متن کاملNuclear Semimodules and Kernel Theorems in Idempotent Analysis. an Algebraic Approach
In this note we describe conditions under which, in idempotent functional analysis (see [1–3]), linear operators have integral representations in terms of idempotent integral of V. P. Maslov. We define the notion of nuclear idempotent semimodule and describe idempotent analogs of the classical kernel theorems of L. Schwartz and A. Grothendieck (see, e.g., [4–6]). In [11], for the idempotent sem...
متن کامل